1001. Problems in programming
پدیدآورنده : / Andrej Vitek ... [et al.]
کتابخانه: Tehran University, technical faculty libraries 1 (Tehran)
موضوع : Electronic digital computers--Programming
رده :
QA
76
.
6
.
P7475
1991
1002. #Problems, programs, processing, results
پدیدآورنده : #by Pal Quittner
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Electronic digital computers -- Programming
رده :
#
QA
،#.
Q57
1003. Proceedings : COMPSAC ... the IEEE Computer Society's ... International Computer Software & Applications Conference
پدیدآورنده : COMPSAC
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Electronic data processing-- Congresses,، Computer software-- Congresses
رده :
QA
76
.
6
.
C6296a
1004. Proceedings: COMPSAC 92 the Sixteenth Annual International Computer Softwre & Applications Conference, September 21- 25, 1992 Chicago, Illinois
پدیدآورنده : Sponsored by IEEE Computer Society
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Electronic digital computers- Programming- Congresses,، Electronic data processing Congresses,، Computer Software- Congresses
رده :
QA
76
.
6
.
C6296
1992
1005. Proceedings, Comp sac 78; the IEEE Computer Society's Second International Computer Software & Applications Conference, November 13-16, 1978, the Palmer House
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Electronic digital computers
رده :
QA
76
.
6
.
I52
1978
1006. Proceedings 10: October 8-10, 1986, the Americana Congress Hotel, Chicago, Illinois
پدیدآورنده : COMPSAC'68 )6891 : Chicago,III.(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Computer networks-- Congresses,، Robots, Industrial-- Congresses
رده :
QA
76
.
6
.
C6295
1986
1007. Proceedings of the First Annual ACM_SIAM Symposium on Discrete Algorithms
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Electronic digital computers -- Programming -- Congresses,Algorithms -- Congresses
رده :
QA
76
.
6
.
A278
1990
1008. Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991
پدیدآورنده : ed. by K.R. Parker ...
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic digital computers -- Programming -- Congresses,ESTELLE.,LOTOS (Programmiersprache)
1009. Proceedings of the International Computing Symposium 1975, Antibes, France, 2-4 June 1975
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Congresses,، Programming )Electronic computers(-- Congresses
رده :
QA
76
.
5
.
I54
1975
1010. Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM '91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991
پدیدآورنده : / sponsored by the ACM Special Interest Group SIGPLAN in cooperation with IFIP
کتابخانه: Tehran University, technical faculty libraries 1 (Tehran)
موضوع : Programming languages (Electronic computers) - Semantics - Congresses,Electronic digital computers - Programming - Congresses
رده :
QA
76
.
7
.
S97
1991
1011. Proceedings 15th International Conference on Software Engineering, May 17-21, 1993, Baltimore, maryland
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Software Engineering, the Association for Computing Machinery / SIGSOFT
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic digital computers - Programming - Congresses , Software engineering - Congresses, Programming languages )Electronic computers( - Congresses
رده :
QA
76
.
6
.
I573
1993
1012. Proceedings 16th International Conference on Software Engineering, May 16-21, 1994, Sorrento, Italy
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Software Engineering, ACM Special Interest Group on Software Engineering )SIGSOFT(, Associazione Italiana per l Informatica ed il Calcolo Automatico )AICA(
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic digital computers - Programming - Congresses , Software engineering - Congresses , Programming languages )Electronic computers( - Congresses
رده :
QA
76
.
6
.
I573
1994
1013. Proceedings : the Eighteenth Annual International Computer Software & Applications Conference )COMPSAC 94( : November 9-11, 1994, Taipei, Taiwan
پدیدآورنده : Sponsored by the IEEE Computer Society
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic digital computers - Programming - Congresses , Electronic data processing - Congresses , Computer software - Congresses
رده :
QA
76
.
6
.
C6295
1994
1014. Professional software
پدیدآورنده : Ledgard, Henry F., 3491-
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Computer software- Development,، Electronic digital computers- Programming
رده :
QA
76
.
76
.
D47L43
1987
1015. Progamming concepts; a second couress )with examples in pascal(
پدیدآورنده : Jones, William B.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Pascal )Computer program language(,Programming ، Electronic digital computers
رده :
QA
76
.
73
.
P2
J66
1016. Program Optimization
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming )Electronic computers(,، Electronic digital computers-- Programming
رده :
QA
76
.
P72
1017. Program and electronic projects: for the BBC, electron and spectrum computers
پدیدآورنده : Bishop, Graham
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers,، Microcomputers
رده :
QA
76
.
6
.
B57
1985
1018. Program construction and verification
پدیدآورنده : Backhouse, Roland C.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers
رده :
QA
76
.
7
.
B28
1986
1019. Program construction and verification
پدیدآورنده : Backhouse, Roland C.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming
رده :
QA
76
.
7
.
B28
1986
1020. Program construction and verification
پدیدآورنده : Backhouse, Roland C
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic digital computers -- Programming
رده :
QA
76
.
7
.
B28
1986
